linear diophantine equation in two variables